Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
321	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
322	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2014-11-28 15:51:12 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
323	International Journal "Information Theories & Applications" – Sample Sheet 1 TESTING AI IN ONE ARTIFICIAL WORLD1 Dimiter Dobrev Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-10-02 05:26:14 Mathematics Tic-tac-toe Artificial intelligence Technology Finite-state machine Ai Algorithm Automaton Games Automata theory Theoretical computer science
324	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
325	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
326	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
327	In the need of a design. . . reverse engineering Erlang software Thomas Arts1 and Cecilia Holmqvist2 1 IT university in G¨ Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-11 05:57:33 Automata theory Digital electronics UML diagrams Diagrams Theoretical computer science Erlang Finite-state machine UML state machine State diagram Models of computation Software engineering Computing
328	UML Tutorial: Complex Transitions Robert C. Martin Engineering Notebook Column C++ Report, September 98 In my last column I talked about UML Finite State Machine diagrams. In this column we will be Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:29:00 Digital electronics Theoretical computer science Diagrams Computer science Software engineering UML state machine Toaster Finite-state machine State diagram Models of computation UML diagrams Automata theory
329	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
330	Overview Modelling Deterministic finite automata Algorithmic Verification Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Temporal logic Update Computation tree logic

UPDATE